<?hh

<<__EntryPoint>>
function main() {
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[
  varray[]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]];
 echo "OK\n";
}
